#[[
 * Copyright (c) 2024-2025 iSOFT INFRASTRUCTURE SOFTWARE CO., LTD.
 * easyAda is licensed under Mulan PubL v2.
 * You can use this software according to the terms and conditions of the Mulan PubL v2.
 * You may obtain a copy of Mulan PubL v2 at:
 *          http://license.coscl.org.cn/MulanPubL-2.0
 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
 * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
 * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
 * See the Mulan PubL v2 for more details.
]]

cmake_minimum_required(VERSION 3.7.2)

add_sources(
    CFILES
        kernel/caps/addrspace.c
        kernel/caps/capability.c
        kernel/caps/cnode.c
        kernel/caps/endpoint.c
        kernel/caps/irq.c
        kernel/caps/notification.c
        kernel/caps/ram.c
        kernel/caps/task.c
        kernel/caps/mutex.c
        kernel/caps/cond.c
        kernel/caps/signal.c
        kernel/core/addrspace.c
        kernel/core/allocate.c
        kernel/core/domain.c
        kernel/core/dprintf.c
        kernel/core/endpoint.c
        kernel/core/fault.c
        kernel/core/interrupt.c
        kernel/core/ipcbuffer.c
        kernel/core/mm.c
        kernel/core/mutex.c
        kernel/core/notification.c
        kernel/core/pbuddy.c
        kernel/core/schedule.c
        kernel/core/syscall.c
        kernel/core/task.c
        kernel/core/resource.c
        kernel/core/timer.c
        kernel/core/smp.c
        kernel/core/cond.c
        kernel/core/signal.c
        kernel/init/relocate.c
        kernel/init/init.c
        kernel/tools/rbtree.c
        kernel/plat/qemu_virt/platsmp.c
)
